#include<iostream>
#include<regex>
#include<vector>
#include<fstream>
#include<string>

int main(){
vector<string> vt = { "12345678","18039425501","18251648567" };
regex reg("1\\d{9}[^47]");
smatch result;
bool re;
for (auto& i : vt) {
re=regex_match(i,result,reg);
if (re) {
cout << result.str() << endl;	}
}
}
